Martin-Lof's type theory
馬丁·洛夫類型理論，馬丁·洛夫類型論
熱門查詢
- drumming n. 發(fā)嗡聲；擊鼓聲
- camaraderie n. 友情；同志之愛
- doctored n. 醫(yī)生；博士 vt. 修理；竄改，偽造；為…治病；授以博士學(xué)位 vi. 就醫(yī)；行醫(yī)
- pusher n. 推進(jìn)器；推進(jìn)式飛機(jī)；推銷員；非法銷售者
- favourite n. 特別喜愛的人（或物） adj. 特別受喜愛的
- boomlet n. 小景氣；短暫的繁榮
- CP abbr. 內(nèi)容提供商（Content Provider）；卡值（Calorific Power）；化學(xué)純（Chemically pure）
- ken n. 視野范圍，見地，知識范圍
- meanly adv. 卑賤地；吝嗇地；簡陋地
- zeal n. 熱情；熱心；熱誠
- unfailing adj. 經(jīng)久不衰的；可靠的；無窮盡的
- dandyish adj. 時(shí)髦的，愛修飾的
- inflect vt. 彎曲；改變；使屈曲 vi. 發(fā)生曲折變化
- anaphora n. 首語重復(fù)法
- apprise vt. 通知；報(bào)告
- amish n. 孟諾教派；孟諾教派之教徒 adj. 孟諾教派的
- Chernenko 契爾年科（人名）
- Isobel n. 伊澤貝爾(Elizabeth的異體)(f.)
- spaceflight n. 航天；宇宙飛行
- Gleneagles 格倫伊格爾斯（英國地名）
考試詞匯表
- quick dependable communication
- quick lift gradual closing cam
- quick look and checkout system
- quick open flow characteristic
- quick reaction capability, QRC
- quick response voltage control
- quick return and small margins
- quick thromboplastin time test
- quick-acting voltage regulator
- quick-action hydraulic coupler
- quick-coupled portable lateral
- quick-filling hot water boiler
- quick-hardening gypsum plaster
- quick-response voltage control
- quid pro quo sexual harassment
- quiescence in game-tree search
- quiescent carrier transmission
- quiescent-carrier transmission
- quiet automatic volume control
- quinine and urea hydrochloride
